extract int from string